大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Henry Amy 著 的图书(共980本)

Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

0
索取号：
作者：Beringer、 Lennart.、Felty、 Amy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Exploring Services Science [electronic resource] : Second International Conference, IESS 2011, Geneva, Switzerland, February 16-18, 2011, Revised Selected Papers

0
索取号：
作者：Snene、 Mehdi.、Ralyt茅、 Jolita.、Morin、 Jean-Henry.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mindful Universe [electronic resource] : Quantum Mechanics and the Participating Observer

0
索取号：
作者：Stapp、 Henry P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mining of Data with Complex Structures [electronic resource]

0
索取号：
作者：Hadzic、 Fedja.、Tan、 Henry.、Dillon、 Tharam S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Handbook of Statistical Bioinformatics [electronic resource]

0
索取号：
作者：Lu、 Henry Horng-Shing.、Sch枚lkopf、 Bernhard.、Zhao、 Hongyu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Exploring Services Science [electronic resource] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers

0
索取号：
作者：Morin、 Jean-Henry.、Ralyt茅、 Jolita.、Snene、 Mehdi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Wireless Sensors and Sensor Networks [electronic resource]

0
索取号：
作者：Mukhopadhyay、 Subhas Chandra.、Leung、 Henry.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Safety and Security in Multiagent Systems [electronic resource] : Research Results from 2004-2006

0
索取号：
作者：Barley、 Mike.、Mouratidis、 Haralambos.、Unruh、 Amy.、Spears、 Diana.、Scerri、 Paul.、Massacci、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Biosurveillance and Biosecurity [electronic resource] : International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. Proceedings

0
索取号：
作者：Zeng、 Daniel.、Chen、 Hsinchun.、Rolka、 Henry.、Lober、 Bill.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Mind, Matter and Quantum Mechanics [electronic resource]

0
索取号：
作者：Stapp、 Henry P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Gliogenesis: Historical Perspectives, 1839鈥Ṹ5 [electronic resource]

0
索取号：
作者：Webster、 Henry deF.、脜str枚m、 Karl E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Architecting Dependable Systems V [electronic resource]

0
索取号：
作者：Lemos、 Rog茅rio.、Giandomenico、 Felicita.、Gacek、 Cristina.、Muccini、 Henry.、Vieira、 Marlon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Bioclimatology and Biogeography of Africa [electronic resource]

0
索取号：
作者：Hou茅rou、 Henry No毛l.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

The Testing Network [electronic resource] : An Integral Approach to Test Activities in Large Software Projects

0
索取号：
作者：Henry、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

0
索取号：
作者：Murphy、 Amy L.、Vitek、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mindful Universe [electronic resource] : Quantum Mechanics and the Participating Observer

0
索取号：
作者：Stapp、 Henry P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.